( 1708 ) O. P . Petersen.