Invariantit on helpompi määritellä kuin bugit löytää. Se rimmaa.