A bit of auto-formatting.
Calculating optimal strategies "by hand" for 2 messages.