These aren't logically equivalent.