RobinHanson comments on Underconstrained Abstractions