A replicated state machine ensures that if state machines on multiple servers start with the same initial state and execute the same sequence of commands in the same order, they reach the same state