blue eye subgroup of eye, 9 assertions