Some mote PathGroupoid operations