Comment by smohare

I’d like to say, “Is this not obvious?” but I’m not sure I fully appreciated what follows until I had a sufficient level of exposure to abstract mathematics. A core element of problem solving is reduction, be it to logically equivalent formulations or to more atomic components that can be reasoned about together.