Well your second statement isn't even logically equivalent to the first for one