Abstract: I'll explain in some detail how to find difference equations to capture torsion modules and how to compute the degree bounds for the Zariski closures of varieties with torsion modules. [See the previous abstract for the statements of the relevant theorems.]