recordable cd subgroup of cd, 2 assertions