Formal Write-up Example