... most), you're attaching an assumption (that "must" is a necessary part ... is true, but not both". There isn't an assumed "must", ... = It must be true that we "can" have one, and it must be true that we ... but it must be true that we "can" have one. The can vs. will ...