added more propositions.