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