Adding laws