almost finished.

adding Alice & Bob;
nice up the 2-win MAC example;
typos and cleanup.