This may have been discussed some time ago, but the use of ANY? for an existential quantifier violates conventional usage in logic. There, ANY? would correspond to the universal quantifier EVERY? or ALL?, and the existential quantifier would be SOME? The vernacular usage is ambiguous. It just appears that T is coming down on the side opposed to the logical usage.