standard cd subgroup of cd, 1 assertions