Set 1 Of The Core Proof Search System.