provided preliminary verification of the optimizer