Evening /sci/. Here is something interesting that I haven't been able to wrap my mind around. Given

$1: \exists x [P(x) \implies Q(x)]$

and

$2: \exists x P(x) \implies \exists x Q(x)$

What would be a valid interpretation where (1) doesn't hold but (2) does?