Principal Rechercher Proofs