The top documents of logic