"fraenkel" - key terms from Wikipedia