Eixemplo: Atro eixemplo intresant, ye o d'a instanciación universal. Ta una formula  en un luengache de primer orden , una variable  y un termino  que ye sustituible por  en , a formula  ye valida universalment.