Solution to 5.2