Added tex files for each formalia in the report guidelines, to make sure we remember them