Dear God. I really hope nobody is up working late enough to find this post helpful.
I've actually made some pretty substantial revisions. Thanks much to Chuck for pointing out that my matrix indexes were wrong. And for showing me why all my proofs didn't work. And for keeping me awake until 2:00AM. And for, hmm... on second thought, go to hell Chuck.