foil balloon subgroup of balloon, 5 assertions