Hasse_principle loading ...