From joel@.MISSING-HOST-NAME. Wed Feb 6 12:49:51 2002 Date: Wed, 6 Feb 2002 12:46:30 -0500 (EST) From: Joel Seiferas To: CSC484 Subject: p.s. to asynch lower bd. notes (p.s. Here's an even simpler version: Start with *five* n-process lines, discard one, and be left with *four*, L, M, N, and P. Now reach a contradiction more directly: Note that either L;M or M;L must yield a leader in its middle half; wlog, say L;M does. Similarly, either N;P or P;N does; wlog say N;P does. But then L;M;N;P yields *two* leaders!)