Stable_homotopy_category loading ...