Invarianter är lättare att definiera än buggar att hitta. Det rimmar.