Definition:

rough