https://www.andrewsun.net/panta_rhei/about-2-2