G	[Aric`A[3A,BGeneric[A,B,C],B,C],B,C,C]