A A ^ A A x A4