Some contextualists again—notably Lewis (1996) and Greco (2003, 2009)—have assayed extending EC to the Gettier problem. According to them, EC explains why certain cases of justified true belief are not correctly said to be “knowledge”, as Gettier showed. (On the Gettier problem, see Ichikawa and Steup 2018, Section 3). But this remains a much more controversial move among proponents of EC. (Cohen 1998 and Heller 1999b, e.g., criticize Lewis on this score.)