9.3 exercises solution