refinement: document.