Comment by quantified

One purpose of hiring a lawyer is to find loopholes. One business model for lawyers is selling the exploitation of loopholes. Sounds like formal methods can be very valuable in legal training.