now pred and succ are in ResourceManager too