successor made explicit in 5.3

successor made explicit in 5.3, plus some propagation