Next varname is fine. Proof: