// maximum probability when the protocol returns different values for different processes
Pmax=? [ true U pc1=3 & pc2=3 & pc3=3 & !(coin1=0 & coin2=0 & coin3=0) & !(coin1=1 & coin2=1 & coin3=1) ]