pure beryl subgroup of beryl, 1 assertions