professor O. Verelius ( 1663 ? — 81 ) , hist.