To understand the event "Justin is a programmer.  Justin wrote a program.", it is important to know that Justin is human