To understand the event "Justin is a programmer.  Justin wrote a program.", it is important to know that Justin's program is now working as he wants it to.