Doing ex4 by Calvin