In era-tacit.js, designed condition quantifiers, completing the design support for MALL additive connectives.