proof public under evidence 153 List Picture As a command %3 n0 proof n2 confirmation n0->n2 n1 evidence n1->n0