a is valid, x is invalid.