Este no es un operador booleano estándar, pero lo he llamado IND por conveniencia.