How to make a proof template in flexi 12