... an assumption (that "must" is a necessary part ... for the proposition "A is true"?
So ... 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 ... or juice, but it must be true that we "can" ...