The editorial is overcomplicated.There are no flexible bits. The case keep_ok = true and flip_ok = true does not exist for any x != 0. In short, without spoiling a solution, the elements we need to flip are (forced/) fixed as soon as we look at the right bit.