TAG comments on On Rigorous Error Handling