: : : : : : 7 , 8 1 —23