Documented key range checks.