Talk:Fodor's lemma