basic structure subgroup of structure, 2 assertions