Added tex files that I forgot to earlier...