The top documents tagged [corresponding formal]