Otro ejemplo interesante es el de «instanciación universal» , mediante el cuantificador universal.