Elegant Formal Report: A Vision of Sophistication