A B (A^B)