"Yep, formal logic. It's really hard to explain this stuff... Magic is sort of like this crazy bundle of loops and wires and latches and portals and, uh, parentheses, and to be able to do something I tug or tap on the mess in a certain way so the tug goes through it all just right... And there are rules, it's just... There's so much to look at, I can't possibly hold it all in my mind at once. Yet. And the formal logic helps me sort of chunk it into bigger pieces so I can think about more at once? I was already doing that, but now I can say, oh, if and only if three wire loop over to that two wire, the latch will open. Three wire has to be off loop so two wire will always be off so therefore that portal will also be off and thus this happens... Any of that make sense? At all?"