detachment-calculus documents