bill_greene comments on Underconstrained Abstractions