Definition:

farer