1. Global strategies
  2. Trivializing equality