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