The top documents tagged [proof use intersecting]