final version to MIT submission