Clarify MapReduce, reduce, idempotence

This new version hand-holds MapReduce neophytes (like myself) by
completely walking through a counterexample.