I'm not sure predecessor/successor needs to saturate.