Jonas Hallgren comments on Natural Abstractions: Key Claims, Theorems, and Critiques