Håstad's Switching Lemma