The top documents tagged [list elements of proof]