All tagged Logic Proofs