Add pred/succ functions