The top documents tagged [appropriate proof]