a(b^c)