requireAlways statement