Template:Property satisfaction proof technique survey article