After this move, I don’t think $DEXE will ever see $4 again.