“…Note that ũ ∈ C wk ([t 0 , T 0 ); L ∞ ), which is a uniqueness class for mild solutions, see [13] and also [25,33]. Therefore ũ agrees with the strong solutions constructed in [13,25,24,39] for initial data u(t 0 ) on R 3 × (t 0 , T 1 ), for some T 1 ∈ (t 0 , T 0 ] with T 1 − t 0 ≥ C( u L ∞ (t 0 , 1 2 (t 0 +T 0 ); L ∞ ) ) > 0 if T 1 ≤ 1 2 (t 0 + T 0 ). This implies (t − t 0 ) 1/2 ∇ũ ∈ L ∞ (t 0 , T 1 (t 0 ); L ∞ ) (see [24]) and, since this is true for all t 0 , it follows that ∇u ∈ L ∞ loc ((0, T 0 ); L ∞ ).…”