 There are various criticisms of detail that might be made. MacBride (2005: 130–2) points out that Lewis failed to provide any account of the truthmakers for relational predications and argues that it is very difficult to see how the lacuna can be filled when the class of eligible truthmakers is restricted by Lewis to the class of ordinary things and only intrinsic counterpart relations can be evoked. Lewis considers a relaxation of the latter requirement when it came to negative existentials (qua unaccompanied by unicorns does not express an intrinsic counterpart relation). But MacBride argues removing the latter requirement risks trivialising Lewis’s account because for any object a such that p is true, for any true p, a satisfies the description F: “inhabiting a world where p is true”, hence a qua F makes it true that p. Bricker (2015: 179–80) argues that Lewis can provide for relational predications by allowing sequences to be truthmakers, i.e. not just ordinary things as Lewis required. But Bricker finds this solution ultimately unattractive because it conflicts with another truthmaking principle he finds plausible: that distinct atomic truths have distinct truthmakers.