halving condition