Improved proof search a bit.