Derfor skal subklasser's kontrakter overholde kontrakten defineret af en superklasse
Subklassers kontrakter skal udgøre en subkontrakt af superklassens kontrakt