OK, I didn't realize that x is tested both before and after the shift. I need to rethink how to handle this.