then x is