class BB [G -> CC [G]] end