expand discussion on consistency and reword some things for better flow
- we assume packet-based transport