Gettier and the failure of justified true belief