For this translator to produce widely usable results it must imperatively conform to MathML and OpenMath standards. This implies that all expressions produced must be lexically and syntactically correct according to the standard specifications. We must examine that the translator can parse and generate valid expressions.