Work performed while working at MIT