オブジェクト指向は抽象化が大事だからね。

ObjectOrientedProgrammingクラスも抽象化されてて無数のサブタイプが存在するし、definitionメソッドで戻ってくる値も各々に異なる。