def assertRuleForNegativeIntegers(self, x):
     self.assertEquals(dali(x+1), dali(x))
 def testZero(self):
     self.assertEquals(S(set(), set()), dali(0))
 def assertRuleForPositiveIntegers(self, x):
     self.assertEquals(dali(x-1), dali(x))