Section 3: CFI

• Use consistently capital $Y$ (instead of $y$)
• Fix independent notation, with 4 !

Glossary and notations:

• For conditional permutations denote $\tilde{X}^{(j)}$
• For marginal permutation $X^{\pi(j)}$
• For FDP denote it as a function of $\hat S \rightarrow \text{FDP}(\hat S)$
• Error in the notation FDP: add min(1, S) in denominator and remove intersection
• Add in glossary and notations $X^j$
• Add $\tilde X$ notation for KO