// max probability of configuring incorrectly
Pmax=?[ true U (l=4 & ip=1) ]