;; 2 is " />
"Any x> 1, where x>2" is incorrect. When x is between (1, 2), the conclusion is X >;; 2 is not established
Existence is just finding one, for example:
"x> 1 makes X >: 2" is correct, because we can find an X = 3 >;; 1, which makes X >: 2