Η τροποποίηση των όρων αναζήτησης μπορεί να δώσει περισσότερα αποτελέσματα.

• Η αφαίρεση των εισαγωγικών μπορεί να δώσει περισσότερα αποτελέσματα.: interactive theorem proving software.