================================================================================
More Basic Tactics
================================================================================

The ``apply`` Tactic 
================================================================================

The ``apply ... with ...`` Tactic 
================================================================================

The ``inversion`` Tactic
================================================================================

Using Tactics on Hypotheses
================================================================================

Varying the Induction Hypothesis
================================================================================

Unfolding Definitions
================================================================================

Using destruct on Compound Expressions
================================================================================

Review
================================================================================

Additional Exercises
================================================================================