Proof-Searching view 1