The top documents tagged [number of edges proof]