Defined the invars of class Worm