If the βX1 parameters are correlated with at least one of the sets of βXk parameters (k=2,3,…,K), then the InSIDE assumption is required to hold for βX1 and for all of the βXk parameters that are correlated with βX1. More formally, we require: (11)βXk⊥⊥α′,for allβXkcorrelated withβX1(includingβX1itself).