2ITX0 (2022-2) Applied Logic