undo commit f135dd0fc976f9d15f087da583b0850dcfff6bc5 whose log message was:

     append "with each other" to three uses of the word "identified", for clarity