https://fpiedrah.com/posts/mathematics-and-formality/