A
B[A].
C[B[A].]
C[B[A].]