This is a simple method for generating a WHERE EXISTS clause, without
having to write it out manually. This pattern is used in several places,
so this method allows us to cut down the amount of repetition in the
future.