Matt Goldenberg comments on A Framework for Internal Debugging