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