"counterexample" - key terms from Wikipedia