proof texts

  1. redirectProoftext