X e t x 0 (8/13)

X e t x 0