X e t x 0 (5/13)

X e t x 0