All tagged Predicate Logic Proofs