The top documents tagged [true numerical propositions]