Module laws