Following formal rules differs from reasoning about the rule system.
The original experience and its breakdown will appear here.
