exists ⊂ # OK exists &sub(); # Error