The Zebra* case does satisfy condition (c*) because R is incompatible with a presupposition of the c...