One more test for Ex. 5.2