"minuit" - key terms from Wikipedia