cyclic-b>=0
