new dishwasher subgroup of dishwasher, 4 assertions