https://inasorhan.github.io/posts/frat-formal-cooler-ideas/