Blockchain, Dsls, Game Theory, Safety, Correctness.
no sender context argument is supplied by the client at all. Note how within a state that (transitively) has a senderIs interceptor, a variable sender is available that refers to whoever sent this command; interceptors that enforce (by otherwise failing) that a given context argument is specified