4 if A A ^ A a AA