We established the tensoriality (actually two-step tensoriality) and
parity sampling properties of every lifting between consecutive codes
\(\mathcal {C}_{i-1}\)  and \(\mathcal {C}_i\)  in Ta-Shma's cascade.
Using these properties, we will be able to invoke the list
decoding framework from [1]} to obtain the following list
decoding result.
