( X1 v »1