Figure 2

Figure 2: Setting up an assertion.