jii.succ and jii.pred covered