A more general form was proven independently by Meyer and Wang; the formula extends Itô's lemma for twice differentiable functions to a more general class of functions. If F : R → → R is absolutely continuous with derivative F ′ , which is of bounded variation, then