The Biblical types of law.