#REDIRECT Universal quantification