Why does the idempotent act by halving?
Why does the idempotent act by halving?