https://www.bookofthrees.com/epsilon-calculi/