Correct. I’m sort of amazed. And if you ask it why it can do so it’ll tell you.

Correct. I’m sort of amazed. And if you ask it why it can do so it’ll tell you. We’re speaking the same language on one hand and providing it with it’s first experience with universal decidability on the other.