To understand the event "Dave backed up his hard drive.", it is important to know that Dave is smart