The top documents tagged [deduction of new truth]