Pietroski successfully dismantles the idea of a formal semantic theory based on direct truth conditions and offers new and formally constrained alternatives. In this paper, I summarize the arguments but also provide a number of test cases to show that refusing to accept Pietroski's conclusions condemns the field to constantly restating and technically evading its own self‐created paradoxes. In the final section, I offer some positive proposals in the spirit of the Pietroskian enterprise with respect to thematic roles.