succ 2.0