Review Bot comments on Natural Abstractions: Key claims, Theorems, and Critiques