1. Global strategies
  2. Assigning symbolic tasks