Used isValidPoints in @invar of Worm