332639032734domain: NAppears in sequencesNumber of negative formulas with two connectives (-> and *) and no variables.at n=16A233130