リスコフの置換原則
派生型はその基底型と置換可能でなくてはならない．
派生クラスで基底クラスの振る舞いを書き換えない．
is-aでないのに継承したりするとこういうことが起きうる．