A coin flip by any other name (2023) | Not Hacker News!