Quantifiers {n}, {n,} and {n,m} added.