February 4

[Gatac]

*slams forehead*

Geesh, I totally ignored the bar.

Yes, that does make more sense now, even if I'm not particularly impressed with the findings. I'm *aware* that 9,9 (bar) is, for all intents and purposes, 10, but the proofs here feel strange. Particularly ijdgaf's, which basically gets two different numbers from the product of 3 times one third in what seems more like a rounding error to me than deep wisdom.

Gatac