I've found that the application of formalism to most any problem I have in my head takes me down paths I hadn't considered. Said another way, forcing a problem

I've found that the application of formalism to most any problem I have in my head takes me down paths I hadn't considered. Said another way, forcing a problem into a straight jacket tends to squeeze out the interesting bits.