"exists" Syntax