> This time is the first time we've automated higher level reasoning.

That’s very generous of you to call it that way.

It’s a parody at best.