a few more functions on Multiset and Formulas