added mds ideas and proof docs