I've never seen it but I am trying to think back to all of those times I worked both directions on a proof and just shrugged in the middle =p. Ah -- you're tot

I've never seen it but I am trying to think back to all of those times I worked both directions on a proof and just shrugged in the middle =p. Ah -- you're totally right on my last sentence. Thank you.