Hello,
I started this thread on the Proof forum, but thought I should post here as well.
Cheers,
-Ben