Blockchain, Dsls, Game Theory, Safety, Correctness.
of arguments that are different from the regular arguments in the following way: They are optional in the sense that an interceptor decides whether they are required or not for a given command For the client, special syntax exists to supply values for the arguments without explicitly mentioning it