no matter what 'F is in particular, even if 'F stands for the property of necessary identity with So if has this property (of necessary identity with x), trivially everything identical with has it, as asserts.