https://firefortysix.com/2020/02/13/checkpoint-alfa-theoretical-foundation/