What can you verify and enforce at runtime?
Distribution of the number of citations over years.