cyclic-a>=0
