Write some theory in the documentation