Invarianten sind mächtig. Assertions sind noch mächtiger.