... other one may join, or not - the rule floats away< ... away.
For the 'not both' rule, we can only have ... or /F, as we can either fill it, or leave it ... /F, as we can either fill it or leave it ... minimum of one, while 'not both' implies a maximum of one ...