Added new implications