Logic.logicVisitor