2ITX0 (2021-2) Applied Logic