Information about notation: FOR-INST-DKMM