wheel aspect of pulley, 1 assertions