http://www.lorenzoswank.com/en/posts/2023-04-13-forcingfunctionsforlearningteachingaclass/