Pretty good. I’ve updated weakly toward “it’s okay to locally redefine accepted terms”. [Meta : I didn’t find the transitions from object level to meta level very intelligible, and I think the ‘notable’ facts deserve some example to ground the the whole thing if this is to be more than a quick idea-dump].
Pretty good. I’ve updated weakly toward “it’s okay to locally redefine accepted terms”. [Meta : I didn’t find the transitions from object level to meta level very intelligible, and I think the ‘notable’ facts deserve some example to ground the the whole thing if this is to be more than a quick idea-dump].