Trinley Goldenberg comments on A Framework for Internal Debugging