================================================================================
More Automation
================================================================================

The ``auto`` Tactic
================================================================================

Searching For Hypotheses
================================================================================

The ``eapply`` and ``eauto`` variants
================================================================================