Added all laws, restored all tests.