Doubling and halving (2)