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