Preparing documentation for the principled implementation