Sure, not going to quibble about word choice. The point is that many comments are like "so what, everybody knew this", but there is a material difference between "everybody knows" and "everybody knows that everybody knows".