To understand the event "Justin is a programmer.  Justin wrote a program.", it is important to know that computer languages are mathematically based