Double negatives are quite ugly: can this be `if (doPush)`?