The presumption of innocence was first formulated in Roman law. In the 6th century, the Justinian Digest (a compendium of Roman law) stated it as: Ei incumbit probatio qui dicit, non qui negat, which means: "Proof lies on him who asserts, not on him who denies".