[Python-Dev] Re: Python2 as 𝑣 → 𝑒