MIT DEM CODE: EXTRA