succ --> pred in foo. same behavior.
succ --> pred