Ax \ xc aVtv,