Foundry's invariant testing in action. This is how DeFi wins