Kontext-Objekt Muss (sollte) unveränderlich sein, weil sonst nach einer Änderung das Constraint eventuell nicht mehr eingehalten wird.