... attaching an assumption (that "must" is a necessary part of ... isn't an assumed "must", it's part of the ... , but not both" = It must be true that we "can" have ... one, and it must be true that we cannot have ... milk or juice, but it must be true that we "can" ...