* ( 1671 .)