Use the existentional operator