docs about mit-6.828