Definition:

pulleys