The branch of law dealing with formal agreements between parties.