Tim_Tyler comments on Underconstrained Abstractions