An alleged defect in Gettier counter-examples · Study