https://en.wikipedia.org/wiki/Switching_lemma
That paper is in the wiki refs but Hastad’s original is from 1986