Although 170 examples might not be enough to test the translator in all situations, they did demonstrate that the translator coped well with the difficulties of the OpenMath/MathML translation. Because these examples are a representative selection of most OpenMath and MathML operators and situations, the satisfying results confirm that the task of accurate translating has been achieved.