, X1 . \Av