Proof-Searching view 3