Teaching from November 12, 2023 by Ben Pitzen