Your own article points out that exists handles the first case. Exists is not actually implemented as a subquery, it is merely syntactically a subquery.