Adams_spectral_sequence loading ...