let
pretty =
new
LogicPretty
.engine space