Test that EXISTS[] works as desired