Ben_Jones comments on Underconstrained Abstractions