Gettier case
Redirect to:
Gettier problem