This completes Ex7