Will_Pearson comments on Underconstrained Abstractions