The Intersection of Formal Rules and Legal Proceedings