元々ニワさんが問題提起しているのは、そのような健全性条件は保てるのに、プロパティをletにしたい人が居て、それをなぜvarにすべきか説得したい、という話でしたね