This completes Ex6