let
space =
LogicId
.space ()