This isn't about formal proofs, it's about manual testing and simple automated tests.