Invarian lebih mudah didefinisikan daripada bug untuk ditemukan. Itu berima.