In the context of distributed systems, not ordinary languag…

In the context of distributed systems, not ordinary language usage, an honest player adheres strictly to the protocol’s state machine.
This implies the absence of forks.
Written by S. Tominaga