Probably True, Modulo Details

Occasionally proves things on purpose. Usually assuming the contrary.

I spend most of my time trying to make noncommuting objects behave, showing that obvious things aren’t actually obvious, and discovering that the missing hypothesis was there for a reason.