https://tratt.net/laurie/blog/2023/four_kinds_of_optimisation.html