Invariantes são mais fáceis de definir do que bugs de encontrar. Rima.