product concept subgroup of concept, 2 assertions