@MichaelHong: What do you use to draw your diagrams? They're staggeringly beautiful.