The Teredo protocol includes provisions for a "sunset procedure": Teredo implementation should provide a way to stop using Teredo connectivity when IPv6 has matured and connectivity becomes available using a less brittle mechanism.