Towards eliminating expert creative help in automated reasoning