at 9-24