X \ c : , aax^x;