 Elaborations and repetitions of this line of thought have come to be known in the literature as the ‘just true’ or ‘true only’ problem, e.g. Rossberg 2013. (Young 2015, however, argues that the exclusion problem is distinct from the just-true problem.) 