Succ and pred
Stdgame split