抽象化した概念が正しいなんてことは誰も分からないのか?

そんなことはありません。

1. 全てのテストをパスし，
2. 意図(何をしたいのか)が明確に表現されており，
3. どんなことも一度，ただ一度だけ記述されており，
4. 上記を満たしながらクラスとメソッドの数が最小である

を満たすなら、その抽象化概念(=モデル)は正しいモデルです。