Regulated independence-of-ℓ\ellℓ conjecture. The inclusion
Regulated local good-reduction conjecture.
