Inwarianty są potężne. Asercje są jeszcze potężniejsze.