[add] exists criterion