[general_re]

Your parlor games are getting boring.

I'll try to be more interesting. I could resurrect the red font ;)

In any case, AndrewC suggested that we've been misreading the problem all along. "Squaring the circle" is a geometric problem with a long history, so it seemed plausible that this was what was meant by "square circles". You say we were right in the first place - fair enough.

I'm on my way out the door, but I'll come back to #796 later tonight.

[general_re]

#808 can be your kitty, if you like - square circles are starting to bore me. Cubic spheres are much more interesting ;)