More updates to the writeup. Just need section 4 and 5, really, plus appendix