PK comments on Underconstrained Abstractions