If Step 2e is satisfied for A, i, and j, then add (A, i, j) to [T 3 ] ij .
during each multiplication, entries created in the product matrix correspond either to the application of an LCFRS rule with l.h.s.