It is not possible to prevent all errors in stroke grouping, character recognition and formula parsing; even humans occasionally misinterpret handwritten equations. Thus, the provision of easy means of correction is probably the best that can be achieved. In these terms, the system is satisfactory.