[spec] pulley-mass system diagram