Logical Properties:ident Exist P by Colin McGinn