Wadler's Law
(noun) The principle that time spent discussing a language feature is inversely proportional to its mathematical complexity.
The committee spent three hours debating syntax highlighting colors but only fifteen minutes on the type system’s soundness proof.