Small writeup about theory and definitions