Representation_up_to_homotopy loading ...