Let X=X
0
423