I remember a time back when I started getting good at math. Then during my second year of college, math broke. I became overwhelmed with the problems of assumption, and in selection of axioms. Suddenly symbol manipulation lost its appeal. It was a dark time. It was when I first became a compulsive breaker of logical systems. Oh, how much I want to break string theory.

From the principle of explosion everything follows. Lately pragmatic instrumentalism and warranted assertability have been changing my outlook, I’ve been more up beat. It allows me to be constructive and take breaks from constantly hunting systems to explode.