Jules: It follows from a previously established lemma. Pumpkin: Which one is it? Jules: Lemma C.5, the 'bad motherfucker lemma'.