The top documents tagged [set nnnn natural numbers]