https://asousa.dev/posts/notes-on-discrete-math/