An Android group messenger program that outputs the message in a total causal ordering.