teaching:logic:discrete_logic