朱に交われば赤くなる

最近はあんまり使われなくなったのかもしれない「赤青鉛筆」。昔から思ってるんだけど、あれって「赤」じゃなくて「朱色」じゃね？

そして反対側も「青」じゃなくて「紺色」じゃね？