Proof-Searching to Properate