9.11 Exercise solutions