... 're attaching an assumption (that "must" is a necessary part of ... is true, but not both". There isn't an assumed "must", it ... " = 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 ...