David_J._Balan comments on Underconstrained Abstractions