How many types of law are there?