https://victordelpuerto.com/posts/the-optimization-you-wrote-isnt-the-one-that-runs/