Comment by HNLurker2

Reminds me of mathematics. Shortest solution is usually the best (many Pythagorean theorem proofs) but they take effort and time. Law is also formal languages using logics.