Redirecting to Axiom schema of replacement