x2 ) ( 1708 .)