#A = (a,r).((b,s).(b,u).A1 + (c,t).(b,v).A1); #A1 = (b,w).A; A