Using existential operators for alerts