house fly subgroup of fly, 3 assertions