'Formula(self) + Formula(other)'

def __add__(self, other):

    fother = Formula(other, namespace=other.namespace)
    f = (fother + self)
    if _namespace_equal(fother.namespace, self.namespace):
        f.namespace = self.namespace
    return f
