不变性比找到错误更容易定义。 这很押韵。