OpenAlex
The carry propagation of the successor function
Work