The top documents tagged [copious formal rules]