more on causal ordering:
- define by(u) and context(m)
- compare context to vector clocks
- explain freshness consistency in more detail
- style: reduce some over-use of emphasis