subtle propositions