use pred and succ instead of (-) and (+)