def __sub__(self, other):
if isinstance(other, Formula):<EOL><INDENT>return Formula(self._values - other._values)<EOL><DEDENT>elif isinstance(other, FormulaElement):<EOL><INDENT>return Formula(self._values - Counter([other]))<EOL><DEDENT>return NotImplemented<EOL>
Substract other formula from this formula.