In short, suppose we have an Abelian group formula_12 and formula_1 an element of formula_12, the DLP on formula_12 entails finding the integer formula_16 given two elements of formula_12, namely formula_1 and formula_19.