What is a Synthetic Halving?