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