27th template for proofs