A Handbook for Writing Formal Papers from Concept to Conclusion by