Adds the definition of motivated cycle