1. Global strategies
  2. Preparing verification methods