filtered propositions