successor made explicit in 5.3