Invarianten zijn krachtig. Asserties zijn krachtiger.