.. _w_succ:

w_succ
======