wheel aspect of tricycle, 1 assertions