Redirecting to Universal quantification