Eliminating “daylight” from the axiom “run to daylight”