InitiationDispatcher is concrete in the official paper

So let's stick with that for now.