Use `pred` instead of `(- 1)`