If time exists as a B-series dimension—as defended by Russell, Mellor, and Price—then P4's condition...