The top documents tagged [total number of logic]