nontriviality

In other words, the nontriviality of the class group Cl(R) causes (M3PID) to fail.

However, nontriviality for this protocol goes further: we must also show that messages from a given member are delivered only while that member is still a live participant in some view.