teaching:logic:franconispace