premise: If the value of the obstruction is non-trivial, then "X" may have points over all local fields but not over the global field.
hypothesis: If the value of the obstruction is non - trivial, then " X " may have points not over the global field.