Solutions for 6.23, 6.25