キャレンダ

a machine in which cloth or paper is pressed by rollers to glaze or smooth it.

MacBookの英英辞典NOADからの引用。
そういうものがあるのか。というか、そういう呼び名なのかと思った。
手持ちの学習英和にはこの項目は無いが、リーダーズ英和中辞典には載っていた。実は、不本意ながら？英和辞典も持っているのである。

排中律の話を、すのものさんがされている。
無理数の無理数乗が有理数になる場合がある。という証明。
排中律(Wikipedia)
面白い。
１月の２日。もちとみかんを食べて過ごす。