NATURAL HEURISTICS FOR PROOF CONSTRUCTION. PART L