The statement "mike is typing" is true because Mike is using the keyboard.