Started documentation for principled implementation