t ( 1725 .)