prefix-minus-resolution.md

@@ -30,6 +30,17 @@ Resolve more prefix minus application unambiguously by:
 
 1. Do not consider associativity of prefix minus or (alternative formulation) let prefix minus bind a bit stronger than infix minus.
 
+
+Pro: 
+
+- Compatible with current state (fewer programs are rejected)
+- fewer cryptic rejection messages involving prefix minus
+
+
+Cons: 
+
+- Does not explain why and how certain terms are resolved (if they are accepted)
+
 ## Description