Assertion list for term "arrive before photon".

Results from Ascent++: 1
neutrino CapableOfarrive before photon 0.25