In the domain of things positive, it is not always sufficient to gather the facts, to record them, and to codify in bare formulae the results of inquiry. Doubtless every essential discovery is able to stand by itself; in what would an inventor profit, for example, by raising himself to the level of the artist? For the theorem lucidity suffices; truth issues naked from the bottom of a well.