So8res comments on Natural Abstractions: Key Claims, Theorems, and Critiques