$$PulleyProp$