Adds tests for Ex. 4.4