gateway arch subgroup of arch, 2 assertions