timtyler comments on Inferring Values from Imperfect Optimizers