class BB [G -> CC [G]]

end