"coq" - key terms from Wikipedia