Transversals and Proofs