 With this assumption in place it is an easy move to make to think that there must be some thing that we quantify over that constitutes the difference between these circumstances, viz. the truth-maker for A. But as Williamson remarks “We should not assume that all quantification is either objectual or substitutional” (1999: 262–3; cf. Prior 1971: 31–4). Williamson argues that that the truth maker principle in fact 