With A, B, C is D. #### A is (was?) B. C has A. C is D.