Teaching from December 3, 2023 by Ben Pitzen