public function testGroupInverseRule() { $a = ListLike::unit(1, 2, 3); $b = clone $a; $b->inverse(); $result = ListLike::add($a, $b); $this->assertEquals(ListLike::unit(), $result); }