Redirecting to Axiom of extensionality