In a series of recent papers, Hartry Field has proposed a novel class of solutions to the semantic paradoxes, and argued that the new solutions are ‘revenge-immune’. He has argued, in particular, that by building on a sufficiently expressive language one can get a language which is able to express its own semantic theory, including its own truth predicates and any intelligible determinacy predicates. The purpose of this talk is to argue that the plausibility of Field’s revenge-immunity claim depends crucially on the status of higher-order languages. We show that by availing oneself of higher-order resources one can give an explicit characterization of the key semantic notion underlying Field’s proposal, and note that inconsistency would ensue if the languages under discussion were expressive enough to capture this notion.