https://www.hennessysview.com/2011/02/01/forcing-functions/