would you be opposed to making the logical operators work both ways? constructors taking either an array of propositions, or just 1 or more propositions?