Sorting out all those confusing propositions