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