Introduction to Formal Reports