Second Order Properties: Why Kim’s Reduction Does Not Work