Theorem 1: Now is the time for MathML