$C is a pullback, right?