Is the Formal Energy of the Mid-Point Rule Convergent?