axle aspect of pulley, 6 assertions