"idris" - key terms from Wikipedia