Inwarianty są łatwiejsze do zdefiniowania niż błędy do znalezienia. Rymuje się.