This theorem (that there are no people who are partially literate or semi- 20 literate