let space = LogicId.space ()