1 , 709 , 707ff.