I guess the Axiom of Extensionality doesn’t apply to kings. Interesting.