Expanded writeup.