Invarianten zijn gemakkelijker te definiëren dan dat bugs te vinden zijn. Het rijmt.