¹⁷Note that TCP/IP provides stronger guarantees—namely, FIFO delivery—than our examples have assumed.