X e t x 0 (3/13)

X e t x 0