European AC electricity systems use Axiom of Choice (AC) and the ACLU