That's exactly what those things mean. The key insight is that your definition of some P cannot hold an any P, because any P does not conform to P, for the reasons @xwu outlined above.
That's exactly what those things mean. The key insight is that your definition of some P cannot hold an any P, because any P does not conform to P, for the reasons @xwu outlined above.