Implements user and event state distribution

Surrounding space missing for operator '=>'.