let's put it in simple words, the subquery in this code will return on a boolean value TRUE, ok ?
It will select a matching record. exists
evaluates to a boolean based on the presence of any matches. But the rest of your explanation is reasonable, though not strictly correct (which is okay since you're putting it into simple words). I think the issue here may be less about exists
in particular and more about relational logic in general.