It was long after I graduated and passed symbolic logic that I realized a proof is the “solution” of an equation using logical operators instead of algebraic ones. Proof writing then becomes following branches on the tree of textbook knowledge to new leaves. I envy those who grok this when they’re kids.