Teaching from December 17, 2023 by Ben Pitzen