conventional oven subgroup of oven, 4 assertions