This is the correct answer. If you don't overwrite a bit, but instead move the old value to an auxiliary bit known to be zero, that can be theoretically done fo

This is the correct answer. If you don't overwrite a bit, but instead move the old value to an auxiliary bit known to be zero, that can be theoretically done for free.