Constructions, proofs and the meaning of logical constants
Distribution of the number of citations over years.