Redirecting to Axiomatizable class