FIX: necessary abbreviations added.