There's something really interesting here with Goguen Institutions. Also sometimes an argument just "clicks" into place fully-formed, rather than being generate

There's something really interesting here with Goguen Institutions. Also sometimes an argument just "clicks" into place fully-formed, rather than being generated token-by-token? Is that "knowing like a steam engine?"