This example is just a little redundant since they did it as a homework exercise yesterday. I decided to leave it in for now so they have another example of how this sort of reasoning goes.