Implement succ correctly