Today I learned how to use Hypothesis to do confident code refactoring.
Tunnel excavation involves lots of boring mathematics.