old dishwasher subgroup of dishwasher, 2 assertions