Added stuff to the MiCS Implementation chapter.