You've forgotten the 3rd canonical hard problem: off by one errors.