IMP: added necessary abbreviations