The top documents of detachment-calculus