Scientists—particularly these working in public institutions—should make a larger effort to communicate to society what science is and what is not; how is it accomplished; what are its primary results; and what are they helpful for. This can be the best way of demystifying science and scientists and upgrading society’s scientific literacy.

An example is the classification of finite simple teams (additionally known as the “huge theorem”), whose proof between 1955 and 2004 required 500-odd journal articles by about one hundred authors, and filling tens of hundreds of pages. A group of French mathematicians, including Jean Dieudonné and André Weil, publishing beneath the pseudonym “Nicolas Bourbaki”, attempted to exposit all of known mathematics as a coherent rigorous entire.

Then we seek for a sample, make a hypothesis, and test it in opposition to extra information (extra examples). After some iterations, when new information matches our hypothesis, we finally attempt to …