Halving Explained