1. Global strategies
  2. Presenting verifying arguments