Added morgan definitions