Maybe add a bunch of stuff about logical statements. There is some content at the start of day 3 of Winter 2024.