Update spec/protocol-spec/README.md

Co-authored-by: Igor Konnov <[email protected]>

spec/protocol-spec/README.md

@@ -105,7 +105,7 @@ to check correctness of the protocol against state invariants. For example:
 quint run --max-steps=20 --max-samples=100000 --invariant=no_commit_equivocation_inv n6f1b3.qnt
 ```
 
-By changing `--max-steps`, we give the simulator how deep the executions should be, e.g., up to 20 steps. By changing `--max-samples`, we give the simulator the number of executions to try, e.g., 100,000.
+By changing `--max-steps`, we tell the simulator how deep the executions should be, e.g., up to 20 steps. By changing `--max-samples`, we give the simulator the number of executions to try, e.g., 100,000.
 
 **Randomized symbolic execution.** Symbolic execution offloads the task of
 finding an execution to the symbolic model checker, while randomly choosing