This example is taken from Software Engineering course notes by Prof. W. B. Joerg.
Read the example as follows: