Completes Ex4