audio cd subgroup of cd, 3 assertions