new appliance subgroup of appliance, 3 assertions