%diamond

dia_pbeta(S,T,X) == ((pbeta(S,T) and pbeta(S,X))
                    => exists(Z,(pbeta(T,Z) and pbeta(X,Z)))).