Recently, I was looking at the solution to 1217A - Creating a Character. In the first few lines of the the solution, the author writes how 2addS > exp + int — str. In the next line, the author writes 2addS >= exp + int — str + 1. If there like a rule that says if you add one to one side, you can get a >=?