Added some psuedo examples to upgrade-implementation.