ParentFull threadendgame·I have heard stories about annotating the edges with elements from a group rather than using unlabelled edges. Have you heard anything about that?View on HN