Start of writeup of the concept section (in concept.tex) by moving stuff from elsewhere