Ian_C. comments on Underconstrained Abstractions