good ozone subgroup of ozone, 2 assertions