Redleg - I thought GH's post was just about proof, though I grow less sure.