updated ML to precondition on the left