PROPRIETARY PRODUCT NAME

Each PROPRIETARY PRODUCT NAME
K must be an identifier of one and only one PROPRIETARY PRODUCT