^ * a ^ t.