| Added, as a result of the most recent &-x exchange: In its native place, {makau} is repesented (not quite accurately) as a broadest scope existential quantier; in the suggested usage it is represented (apparently accurately) as a broadest scope universal quantifier? Whence the change? Neither the assertion position (which it does not, in fact, have, being conditional) nor the lack of superordinate predicate explains the change. |