joint-probability public under probability 3 List Picture As a command %3 n0 joint-probability n1 probability n1->n0