What are you looking for?

Propositions, sets, and worlds