cyclic rule validation