Congruence Engine Books meeting, 30 April, 2024