new aquarium subgroup of aquarium, 1 assertions