Description of the illustration exists_condition.eps
EXISTS
(subquery)