Figure 1. Proposition-set theories, ordered chronologically and in terms of restrictiveness.