The second-order theories V^i introduced by Zambella (1996) characterize levels of the polynomial hi...