The approximate version of the Eastin–Knill theorem states: "If a code admits a continuous symmetry pertaining to a Lie group and corrects erasure with fixed accuracy, then for each logical qubit, a number of physical qubits per subsystem that is inversely proportional to the error parameter is needed".[1][2][3] The approximate version of the Eastin–Knill theorem is more robust than the original because it explains why it's impossible to have continuous symmetries for transversal gates on the microscopic scale while also explaining how it's possible to have continuous symmetries for transversal gates on the macroscopic scale.