move Arbitrary instances to its own object
tuned
refactoring the definition of laws, part 2: "For a Few Laws More"