Speakers are not defined.
Check the Formal Verification of QBFT Consensus Protocol website for more details.