successor-q implemented