What if we could make authoritarianism mathematically impossible?