... and c become floaters and the 2nd placeholder doesn’t ... being in, negating the sufficient, does nothing to the rule about B---& ... with a switch between the groups. Because the other rules link ... to represent inferences without having the same variable repeat in ...