A logical reconstruction of Batcher’s mergers, or, bitonicity is a red herring