original ferris wheel subgroup of ferris wheel, 2 assertions