Would a solution to the Gettier problem be..