Write-up is now complete