include the origin state in update handling diagrams
don't include superfluous states in master-master replication diagram
highlight problem with propagating updates
highlight solutions in problems slides