So, like, the other day Timur Tabi mumbled: > > If I weren't on vacation this week, I'd email you my code. It's almost done > and it demonstrates what I'm thinking. Are the margins of this paper too small for your proof? jdl