How To Write A Formal Rationale