Template:Proof technique survey article