Will lo adu rosh apply when Moshiach comes?