Proof-Searching view 2