https://programmingpraxis.com/2021/06/22/aronsons-sequence/