Correction

I'm writing "(unblind (sign (blind X))) = (sign x)" on the board one hundred times.

Waste of bandwidth I know, but it's bugging the hell out of me. Please upper-case that 'x'. -- Patrick