Logic
.subst
->
Logic
.logicPrinter