A public fact is one everyone knows