changed to strict succ gen