[rowanG077]

I expect that we will move in a direction that all proof. Not just steps is done by computers. The human input remaining is just to ask it what to prove.