Before revision:  The estimators become guaranteed when the regularity pick-up constant is explicitly known.
After revision:  The error estimates become guaranteed when the regularity pick-up constant is explicitly known.