"gettier" - key terms from Wikipedia