The statement "mike is taking out the garbage" is true because Mike