 (Folklore credits the Polish logician S. Leśniewski for formulating the criteria of Conservativeness and Eliminability, but this is a mistake; see Dudman 1973, Hodges 2008, Urbaniak and Hämäri 2012 for discussion and further  references.)[5]