[tacomonstrous]

This is nonsensical: Properness of the map is equivalent to its being an isomorphism (quick proof: Jacobian invertible implies that the map is etale, and properness would imply that it is finite etale, but affine space doesn't admit non-trivial finite etale covers), so the lack of properness is just another way of verifying that this is indeed a counterexample.

[Davidzheng]

sure it does? two copies of the affine line? (I guess there's no galois group & no connected finite etale things tho)

[tacomonstrous]

I would call that a trivial finite etale cover :)