VICESIMO Proofs