Logic.logicPrinter