Comment by JulianMorrison

Core problem: If contracts can be upgraded while in use, everything reduces to a game of Nomic.