I forgot we still had riak_core_broadcast_eqc in there. We started on a component model, but it's not the best fit for this example. Component models describe quite precisely the interaction of a component with the rest of the system and in this case I don't think we want to model the broadcast protocol in such detail.

Bottom line: this model isn't finished and I don't think it's what we want to have.