Update 4-2.sage