On Goodhart's law, with an application to value alignment [2410.09638]