Steve_Rayhawk comments on Underconstrained Abstractions