Proof search automation in progress