2[[A2[A],[B]],[<]]