theorem that deterministic ordinal electoral systems that choose a single winner are either dictatorial, binary choice, or susceptible to tactical voting
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).