The top documents tagged [correct proof x]