Tom3 comments on Underconstrained Abstractions