Writing a Formal Internal Proposal