-> `if not summand.has(self.variables[-1]):`