Modelling Biblical Law: The Covenant Code