truth public under information 1698 List Picture As a command %3 n0 truth n2 tautology n0->n2 n1 information n1->n0