The top documents of proof