A condition that determines whether a certain transition 
will occur in a state diagram when an event happens
A guard condition is evaluated only when the associated
event happens.