use mike, not mic, for the abbreviation of microphone