results of the poll

[Chris Haynes <chaynes@iuvax.cs.indiana.edu>]

The poll on the following alternatives:

A. #F and () may be identical, and () may be false;
B. #F and () may be identical, but () is true if they are distinct;
C. #F and () are distinct, and () may be false;
D. #F and () are distinct, and () is true.

has yielded the following tally:

     prefer   strongly oppose
A       2        6
B       2        4
C       0        8
D      20        2
none            11

Since there is a clear preference for D, and little opposition to it,
the mandate for the editors is clear.