Show more propositions
Fix typo.