annoying orange subgroup of orange, 1 assertions