if

18th cent.