Tag: Predecessor definition