Towards a normative epistemic account of presuppositions