... 're attaching an assumption (that "must" is a necessary part of that ... 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 ... milk or juice, but it must be true that we "can" have one ...