More refinement of cf_promises_validated.