Le invarianti sono potenti. Le asserzioni sono ancora più potenti.