"lenstra" - key terms from Wikipedia