constraint for infinity  cycle