We also verify that the tuples given by Ta-Shma's construction satisfy
the conditions for applying the list decoding framework,
in sec:satisfyingframework. While the sketch above stated this
in terms of splittability, the results in [1]} are in terms
of a more technical condition called tensoriality. We show
in sec:satisfyingframework that this is indeed implied by
splittability, and also prove splittability for (the modified version
of) Ta-Shma's construction.
