LawrenceC comments on Natural Abstractions: Key claims, Theorems, and Critiques

[LawrenceC]

That seems included in the argument of this section, yes.