"all propositions p" - related articles and key terms