ces comments on Underconstrained Abstractions