So, according to Karttunen and Peters, conditionals and conjunctions presuppose both the presupposition of A and the claim that if the assertive content of A is true, then the presupposed content of is true.