Math 417:502 (2023 Spring)