https://www.virtuality.blog/max-kleene-at-the-akipelago/