Mersenne's_laws loading ...