lukeprog comments on Inferring Values from Imperfect Optimizers