economics theorem that if an externality can be traded with no transaction costs, bargaining leads to a Pareto efficient outcome regardless of the initial allocation of property
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).