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