Gen3[`2[[C^,[B]],lCA.Bn`[[D^,[]],lC]