The proof for the second-order expectation semiring is similar.
one mainly needs to show that In Tables 1-2, we do not discuss how to store p, r, s, and t. If p is a probability, it often suffers from the underflow problem.