The Gettier problem and context