let pretty = new LogicPretty.engine space