To understand the event "Justin is a programmer.  Justin wrote a program.", it is important to know that A computer program is one type of program.