Today I learned how to use Hypothesis to do confident code refactoring.
There should be no such thing as boring mathematics.