1. Global strategies
  2. Proving-Refuting