https://digimoncardo.github.io/posts/equality-drawing/