Logic.subst -> Logic.logicPrinter