 A point which has perhaps been obscured in the literature on this topic, but which should be noticed, is that (7) asserts a relation of subordination: it says that true thinkables are a (proper or improper) subset of facts; it implicitly allows that there might be facts that are not identical with true thinkables. So (7) is not to be confounded with its converse,