aerial firework subgroup of firework, 3 assertions