 Thomason has shown that the supervaluation theory can in fact meet some of the basic challenges related to the future contingents. He has also shown that the theory can be extended in such a way that it may also incorporate deontic logic i.e., the logic of moral obligation (Thomason 1981, pp. 165 ff.). A crucial question for this approach is, however, whether the idea of truth-value gaps for future contingents is philosophically acceptable. In other words, is it acceptable that some well-formed propositions simply lack truth-values?