https://randombitsoffascination.com/2021/08/05/meet-rudolph-ackermann/