Thom_spectrum loading ...