To understand the event "Mike put on running shoes  Mike ran a marathon", it is important to know that what running is