definition module law