Another proof for "Murder by the MIle"

A few minor changes, mostly on the back. I think it's getting there.