See https://tadhack.com/2020/mini-phoenix/