Quiz 2: Test your Verification Concepts