< a,b,c; [b,a,a], [c,a] >
