Gli invarianti sono più facili da definire di quanto non sia trovare i bug. Fa rima.