A Formal Lab Report