[lknuth]

I wonder why though. Aren't both of these things facts? I think you can justify using them anyways - which is what I'd be interested to talk about.