public aquarium subgroup of aquarium, 2 assertions