https://en.wikipedia.org/wiki/Switching_lemma

That paper is in the wiki refs but Hastad’s original is from 1986