Added Michael's type abbreviation notes.