method id x = LogicId.name space x