> It's a physicist¹ proving that we need integration tests.
¹ Juan Parrondo is a physicist by training, not a mathematician.