Exercise of ex17