2IHT10 (2026-GS1) Logic and Set Theory