docs: def lhs(self):
          """The left-hand-side of the equation"""
          lhs = self._lhs
          i = 0
          while lhs is None:
              i -= 1
              lhs = self._prev_lhs[i]
          return lhs