Adds tests for Ex. 4.3.