SUBSTANCE NAME

Each SUBSTANCE NAME
K must be an identifier of one and only one SUBSTANCE