private function checkValueToShrink($value) { if (!$this->contains($value)) { throw new DomainException('Cannot shrink ' . $value . ' because it does not belong to ' . 'the domain of Integers'); } }