Alternate Definitions for RDP_successor

include archived terms