1. Global strategies
  2. Proving new methods