If we know that there is at least one YZ, and that all A are Y, we actually cannot know that there is at least one AY. maybe there is only one A, and that A (which iOS also a Y) does not happen to be a Z. We would need to know that all Ys are A, not that all As are Y.
