2[[A[[A],B&]],[B]]