The top documents tagged [specified proof load]