EXISTS -> FOR ALL

Highlight AND/OR