Automatic proof-search feature completed