2ITX0 (2019-2) Applied Logic