版はありませんが、派生先に継承されます。変えることはできません。何が違うのでしょうか。......えーと、えーと、そうです。......えーと、えーと、他には......。不変条件はサブプログラムの出口でチェックされます。predicateは型変換や引数等の入り口側でのチェックが主になります。1で適用済みのものは含めていません。自然な例を用意したい。明らかに分量配分がおかしい。これで最大の難所は越えたはず......。一緒になっているとまずいと気付けそうですので気にしなくていいのではと思います。普通にプロパティを宣言するようなイメージで使えれば良かったのですが。EVEのmodelは多分そんな感じで使えますよね。実装との2層に留めましょう。