Edited writeup.