 The Lubotzky–Weiss conjecture states (for special linear groups and reduction modulo primes) that an expansion result of this kind holds independent of the choice of "S".For applications, it is also relevant to have results where the modulus is not restricted to being a prime.Results on superstrong approximation have been found using techniques on approximate subgroups, and growth rate in finite simple groups.