A¹_homotopy_theory loading ...