cards-deck: ItL - Introduction into Logic