y + r ≤ d.