double oven subgroup of oven, 1 assertions