Add proof-number search. Can solve rudimentary openings like 1. d4 or 1. e4.