不変量はバグを見つけるよりも定義しやすいです。 韻を踏んでる。