Strictification theorems for the homotopy time-slice axiom